Définition :
Un ordre est bien fondé si toute partie non vide de \(A\) a un élément minimal
(Sous-ensemble - Partie d’un ensemble, Plus grand élément - Maximum - Plus petit élément - Minimum)
Un ordre est bien fondé si et seulement s'il ne contient pas de suite décroissante stricte infinie
(Suite réelle, Fonction strictement décroissante)